Java PathFinder

См. также в других словарях:

• Java PathFinder — (JPF) свободный инструмент для проверки многопоточных Java программ. По своей сути это виртуальная Java машина (англ. Java Virtual Machine) на основе которой реализованы методы проверки моделей (англ. model checking). Это означает, что… …   Википедия

• Java Pathfinder — Infobox Software name = Java Pathfinder logo= caption = developer = NASA latest release version = 1.0a latest release date = October 6, 2005 operating system = Cross platform genre = Model checking license = NASA Open Source Agreement version 1.3 …   Wikipedia

• Pathfinder — or pathfinders may refer to:Astronomy* Mars Pathfinder, NASA exploration probe * Space Shuttle Pathfinder, space shuttle mockup known as OV 098Computer science* Path Finder, a shareware file browser for Mac OS X * Pathfinder Networks, method for… …   Wikipedia

• Java (значения) — …   Википедия

• Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

• Проверка моделей — (проверка на модели, англ. model checking)  метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… …   Википедия

• JPF — Jefferson Pilot Financial (Business » Firms) * Java PathFinder (Computing » General) * Jewish Peace Fellowship (Community » Non Profit Organizations) * Jovian Planet Finder (Governmental » NASA) * John s Personal Favorite (Miscellaneous »… …   Abbreviations dictionary

• Parachute Regiment (United Kingdom) — For a list of parachute regiments from other countries, see Parachute Regiment (disambiguation). The Parachute Regiment Cap Badge of the Parachute Regiment Active …   Wikipedia

• Morfik — Technology Pty Ltd. Industry Computer software Founded Hobart, Tasmania, AUS (2000) Headquarters Sydney, NSW, Australia …   Wikipedia

• Liste bedeutender Schiffsversenkungen — Dieser Artikel enthält eine chronologische Auflistung bedeutender Schiffsversenkungen in der Geschichte der Seefahrt. Schiffe, die aus anderen Gründen untergegangen sind, finden sich in den Chroniken bedeutender Seeunfälle, siehe dazu Liste von… …   Deutsch Wikipedia

• Military history of Australia during World War II — An Australian light machine gun team in action during the Aitape Wewak campaign, June 1945 Australia entered World War II shortly after the invasion of Poland, declaring war on Germany …   Wikipedia